1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16d.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGPDW34R/3U65R4H |
Repositório | sid.inpe.br/mtc-m16d/2019/10.01.11.22 |
Última Atualização | 2019:10.01.11.22.02 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m16d/2019/10.01.11.22.03 |
Última Atualização dos Metadados | 2022:07.08.20.09.14 (UTC) administrator |
Chave de Citação | VazSantCalh:2019:TeMePr |
Título | Teste metamórfico para produtos de software relacionados à definição de características hidrológicas |
Formato | On-line |
Ano | 2019 |
Data de Acesso | 10 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 61 KiB |
|
2. Contextualização | |
Autor | 1 Vaz, Renata Bitencourt 2 Santiago Júnior, Valdivino Alexandre 3 Calheiros, Alan James Peixoto |
Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR 3 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Afiliação | 1 Universidade Estadual Paulista (UNESP) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 renatabitencourtvaz@gmail.com 2 valdivino.santiago@inpe.br 3 alan.calheiros@inpe.br |
Editor | Santos, Rafael Duarte Coelho Dos Mattos, Ariane Frassoni Dos Santos De Mello, Carina Barros Queiroz, Gilberto Ribeiro De Vasconcelos, Leandro Guarino De Vieira, Luis Eduardo Antunes Forti, Maria Cristina Gatto, Rubens Cruz |
Nome do Evento | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) |
Localização do Evento | São José dos Campos |
Data | 12-13 ago. 2019 |
Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade da Editora | São José dos Campos |
Título do Livro | Anais |
Organização | Instituto Nacional de Pesquisas Espaciais (INPE) |
Histórico (UTC) | 2019-10-01 11:23:16 :: simone -> administrator :: 2019 2019-10-06 01:02:44 :: administrator -> simone :: 2019 2019-12-06 20:20:47 :: simone -> administrator :: 2019 2020-01-06 12:48:42 :: administrator -> simone :: 2019 2020-05-07 19:34:36 :: simone -> administrator :: 2019 2022-07-08 20:09:14 :: administrator -> simone :: 2019 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | hidrologia software |
Resumo | O INPE tem vários exemplos de softwares científicos usados para, por exemplo, implementar modelos de sistemas de controle de atitude e órbita de satélites, analisar a radiação X e Gama oriundas de objetos astrofísicos a bordo de plataformas espaciais, estudar a interação bidirecional entre a biosfera terrestre e o sistema climático, implementar modelos numéricos de previsão de tempo assim como modelos de estudos climáticos, entre outros. É muito importante que tais produtos sejam criados com o mais alto nível de qualidade para que seus resultados possam ser confiáveis, e, dessa forma, ser uma fonte adequada para a tomada de decisão de usuários que fazem uso de tais softwares. No entanto, software científico é bastante complexo e garantir a sua qualidade é algo bastante desafiador. Teste de software é um processo que justamente é aplicado para aumentar a qualidade de sistemas de software. Porém, determinados tipos de software, tais como os softwares científicos, podem padecer do chamado problema do oráculo, ou seja, quando não é possível determinar com certeza os resultados esperados de um conjunto de dados de entrada de teste. Teste metamórfico é uma técnica que se adequa a esse tipo de sistema de software. Mas, a principal limitação do teste metamórfico é a identificação das Relações Metamórficas (RMs), que é uma tarefa manual que requer um bom conhecimento do problema em questão. Uma das alternativas é tentar identificar, automaticamente, as RMs de um Sistema Sob Teste. Esse projeto de pesquisa, iniciado em agosto de 2018, possui dois objetivos específicos: a.) investigar a viabilidade de teste metamórfico para realizar o teste de software científico, particularmente abordando o problema do oráculo de teste de software. Para identificar automaticamente as RMs será investigada a possibilidade de uso de Aprendizado Profundo (e.g. Redes Neurais Convolucionais); b.) aplicar a abordagem proposta a produtos de software relacionados à definição de características hidrológicas, com os quais o INPE vêm trabalhando, com o intuito de melhorar a qualidade dos mesmos. |
Área | COMP |
Tipo | COMP |
Arranjo 1 | urlib.net > Fonds > Teste metamórfico para... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Teste metamórfico para... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGPDW34R/3U65R4H |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGPDW34R/3U65R4H |
Idioma | pt |
Arquivo Alvo | 2019 Renata Vaz.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator rafael.santos@inpe.br simone |
Visibilidade | shown |
Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.19 |
Detentor dos Direitos | originalauthor yes |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8JH |
Lista de Itens Citando | sid.inpe.br/mtc-m16c/2022/07.08.19.43.45 2 |
Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 |
|
6. Notas | |
Notas | Bolsa PIBIC/INPE/CNPq |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi e-mailaddress edition isbn issn label lineage mark mirrorrepository nextedition numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission resumeid schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|